Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
231	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
232	TREC-2006 at Maryland: Blog, Enterprise, Legal and QA Tracks Douglas Oard,§∗ Tamer Elsayed,† Jianqiang Wang,‡ Yejun Wu,§ Pengyi Zhang,§ Eileen Abels,¶ Jimmy Lin,§∗ and Dagbert Soergel§ University of Marylan Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:50 Vector space model Search engine indexing Search engine Document classification Boolean algebra Concept Search Document retrieval Information science Information retrieval Relevance
233	New York City College of Technology The City University of New York DEPARTMENT: Mathematics PREPARED BY: Professor Victoria Gitman, Professor Yalin Celikler, Professor Jonas Reitz, Add to Reading List Source URL: www.citytech.cuny.edu Language: English - Date: 2014-07-01 12:53:27 Model theory Boolean algebra Philosophical logic Mathematical proof First-order logic Function Propositional calculus Set theory Theorem Logic Mathematics Mathematical logic
234	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
235	Learning and Verifying Quantified Boolean Queries by Example Azza Abouzied∗ , Dana Angluin∗ , Christos Papadimitriou∗∗ , Joseph M. Hellerstein∗∗ , Avi Silberschatz∗ ∗ Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2013-08-06 23:17:37 Logic Database theory Computational complexity theory Descriptive complexity Finite model theory SO Relation Boolean algebra First-order logic Theoretical computer science Mathematical logic Relational model
236	NuSMV 2.3 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore, Marco Roveri, Simone Semprini and Andrey Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:41:53 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type Model checking C FALSE Computing Software engineering Software
237	Package ‘texreg’ November 1, 2014 Version 1.34 Date[removed]Title Conversion of R regression output to LaTeX or HTML tables. Author Philip Leifeld Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-10-31 19:44:42 Econometrics Biostatistics Measurement Boolean algebra Akaike information criterion Model selection Confidence interval Economic model Boolean data type Statistics Information Science
238	Improving Automatic Query Expansion Mandar Mitra Cornell University Ithaca, NY[removed]removed] Add to Reading List Source URL: singhal.info Language: English - Date: 2007-08-16 20:14:05 Query expansion Text Retrieval Conference Document retrieval Search engine Relevance Precision and recall Tf*idf Extended Boolean model Fuzzy retrieval Information science Information retrieval Relevance feedback
239	NuSMV 2.2 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-05-05 13:53:02 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type C Model checking FALSE Computing Software engineering Software
240	NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore, and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:14:57 Software Model checking Electromagnetism Boolean algebra Finite-state machine Inverter Semaphore Model checkers NuSMV Electrical engineering

UPDATE